theory of quantification

n.数量化理论